Qualité:
Lean - assistant de preuve. Ce langage de programmation est le 453e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 367e le plus populaire langages de programmation sur Wikipédia en japonais. L'article "Lean (証明アシスタント)" sur Wikipédia en japonais a 33.4 points pour la qualité (au 1 août 2024).
L'article contient 25 références et 23 sections.
Cet article a la meilleure qualité sur Wikipédia en chinois. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.
Réalisations dans tout le temps:
Wikipédia en japonais:
Wikipédia mondial:
En juillet 2024 l'article "Lean (証明アシスタント)" a été édité par 1 auteurs sur Wikipédia en japonais et écrit par 4 auteurs dans toutes les langues.
Depuis la création de l'article "Lean (証明アシスタント)", son contenu a été rédigé par 7 utilisateurs enregistrés de Wikipédia en japonais et édité par 98 utilisateurs Wikipédia enregistrés dans toutes les langues.
Lean est à la 367e place du classement local des langages de programmation sur Wikipédia en japonais
et à la 453e place dans le classement mondial des langages de programmation dans tout le temps.
L'article est cité 5 fois dans Wikipédia en japonais et cité 476 fois dans toutes les langues.
Le rang d’intérêt des auteurs le plus élevé depuis 2001:
- Local (japonais): n° 6909 en juin 2023
- Mondial: n° 28638 en juin 2024
Le classement de popularité le plus élevé depuis 2008:
- Local (japonais): n° 207028 en juillet 2024
- Mondial: n° 160905 en juillet 2024
Il existe 12 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).
L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).
Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.
